Typed lambda calculi and applications
- Författare
- Jan Frisco Groote Marc Bezem International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht)
- (International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings M. Bezem. J.F. Groote, (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | viii, 432 sidor. |